Householder reduction - Deutsch Englisch Wörterbuch